analysis

Results: 187493



#Item
141Computer security / Computing / Compiler construction / Computer programming / Software engineering / Return-oriented programming / Control-flow integrity / Code reuse / Control flow graph / Program analysis / Data-flow analysis / Cyberattack

Poster: CRAFTED: Code Reuse Analysis for Trusted and Effective Defense Ethan Johnson Tianqin Zhao John Criswell

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-14 00:24:54
142Mathematics / Structure / Abstraction / Computability theory / Metric geometry / Topology / Proof theory / Primitive recursive function / Theory of computation / Mathematical logic / Metric space / Proof mining

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–82) PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS Ulrich Kohlenbach

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-25 13:17:42
143Operator theory / Symbol / Operator / Computability theory

Stabilizing Floating-Point Programs Using Provenance Analysis Yijia Gu(B) and Thomas Wahl College of Computer and Information Science, Boston, USA {guyijia,wahl}@ccs.neu.edu

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2017-02-09 10:23:03
144Homelessness / Housing / Humanitarian aid / Poverty / Socioeconomics / Tent city / Homeless shelter / Culture / Economy / Structure / Homelessness in the San Francisco Bay Area / Draft:Homes NOW Not Later

Impact Analysis on Farrell Encampment Sweeps Coalition on Homelessness, April/May 2018 The Coalition on Homelessness has been vigorously documenting the impact of the Farrell sweeps that commenced on Wednesday April 25 t

Add to Reading List

Source URL: www.cohsf.org

Language: English - Date: 2018-05-24 13:32:55
145Software development / Aspect-oriented software development / Aspect-oriented programming / AspectJ / Pointcut / Join point / Cross-cutting concern / Subject-oriented programming / Advice / Aspect

ICSM: Change Impact Analysis for AspectJ Programs

Add to Reading List

Source URL: zhang-sai.github.io

Language: English - Date: 2015-05-05 00:58:34
146

SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Add to Reading List

Source URL: scungao.github.io

Language: English - Date: 2018-09-27 16:37:21
    147Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution

    Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

    Add to Reading List

    Source URL: rjoshi.org

    Language: English - Date: 2010-09-11 18:44:06
    148Formal languages / Tree / Heap / Binary tree / Context-free grammar / Computing / Software engineering / Mathematics / Regular tree grammar

    Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨

    Add to Reading List

    Source URL: www.microsoft.com

    Language: English - Date: 2018-01-04 03:04:14
    149Finite automata / Levenshtein distance / Linguistics / Theoretical computer science / Finite-state transducer / Mathematics / Nested stack automaton

    Robustness Analysis of String Transducers? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2?? , and Swarat Chaudhuri3 1 University of Texas at Austin 2

    Add to Reading List

    Source URL: www.cs.purdue.edu

    Language: English - Date: 2016-07-15 23:00:36
    150Finance / Economy / Money / Venture capital / Corporate finance / Equity securities / Investment / Angel investor / Deal flow / Impact investing / Keiretsu Forum

    2016 Report on Angel Investing Activity in Canada An Analysis of Business

    Add to Reading List

    Source URL: silkstart.s3.amazonaws.com

    Language: English - Date: 2017-08-18 14:22:04
    UPDATE